Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
141	An outline of a proposed system that learns from experts how to discharge proof obligations automatically (extended abstract) Alan Bundy1 , Gudmund Grov1,2 , and Cliff B. Jones2 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Mathematical logic Constructive proof Theorem Rippling Reification Vienna Development Method Logic Mathematics Mathematical proofs
142	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
143	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Theorem Unification Mathematical proof Automated theorem proving Logic Mathematics
144	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
145	A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical proof Proof assistant Logic programming Coq Mathematical logic Formal methods Proof Automated reasoning Logic Mathematics Theoretical computer science
146	√ ¬ 2∈Q — 3 Proofs in ProofPower-HOL R.D. Arthan Lemma 1 Ltd. Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2013-11-11 12:05:25 Mathematical proofs Algebraic number theory Square root of 2 Infinite descent Prime number Pell number Quadratic residue Mathematics Number theory Integer sequences
147	A SRL challenge: extracting proof strategies from exemplar proofs Gudmund Grov, Ekaterina Komendantskaya & Alan Bundy Interactive Theorem Provers • ...are based on higher-order languages/type theory; • ...provide a r Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Mathematical logic Formal sciences Proof assistant Mathematical proof Theorem Proof KeY Logic Mathematics Theoretical computer science
148	H:/Jack/My Documents/Web/Math/Writing/writing-proofs.dvi Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2012-03-25 20:18:07 Logical syntax Formal languages Metalogic Proof theory Theorem Mathematical proof Formal proof Well-formed formula If and only if Logic Mathematics Mathematical logic
149	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic
150	Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math isn’t a court Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2003-01-29 15:54:56 Mathematical logic Quantification Algebraic number theory Modular arithmetic Vacuous truth Universal quantification Mathematical proof Existential quantification If and only if Mathematics Abstract algebra Logic

UPDATE